<?php

/**
 * Connection en utilisant l'authentification HTTP.
 */
function connectUser() {
        /*
	if((!isset($_SERVER['PHP_AUTH_USER']) || !isset($_SERVER['PHP_AUTH_PW'])) && preg_match('/Basic\s+(.*)$/i',$_SERVER['REMOTE_USER'],$matches)) {
		list($name,$pass) = explode(':',base64_decode($matches[1]));
		$_SERVER['PHP_AUTH_USER'] = strip_tags($name);
		$_SERVER['PHP_AUTH_PW'] = strip_tags($pass);
	}
	
        if($_SERVER['PHP_AUTH_USER'] != $cfg['adm_login'] || $_SERVER['PHP_AUTH_PW'] != $cfg['adm_pass']) {
		header('WWW-Authenticate: Basic realm="Connexion..."');
		header('HTTP/1.0 401 Unauthorized');
		die('Erreur : Identification incorrecte !');
	}
        */
}

?>
